Role model: Caroline Moore

Caroline Haythornthwaite

This paper explores the impact of communication media and the Internet on connectivity between people. Results from a series of social network studies of media use are used as background for exploration of these impacts. These studies explored the use of all available media among members of an academic research group and among distance learners. Asking about media use as well as about the stren...

Caroline Bax BW.indd

The Boyer-Moore Waterfall Model Revisited

In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts and methodology underlying this 30-year-old model and implement a new, fully integrated tool in the theorem prover HOL Light that can be invoked as a tactic. We also describe several extensions and enhancements to th...

Eilenberg-moore Model Categories and Bousfield Localization

Talk 1: Big Goal of Alg Top, operads and model categories, fix notation for model categories, remarks about how difficult it is to verify model category axioms. Motivation from equivariant spectra, and discussion of Kervaire. Monoidal model categories, define the inherited model structure on the category of algebras over an operad. Basic facts about Bousfield localization. Preservation theorem ...

What Constrains Africa ' s exports ? Caroline

We examine the effects of transit, documentation, and ports and customs delays on Africa’s exports. We find that transit delays have the most economically and statically significant effect on exports. A one day reduction in inland travel times leads to a 7 percent increase in exports. Put another way, a one day reduction in inland travel times translates into 1.5 percentage point decrease in al...